9 Translations of arithmetic formulas (BAPLaCT)